More from this Author

Verification, Model Checking, and Abstract Interpretation

by Deepak D'Souza (Editor), Akash Lal (Editor), Kim Gulstrand Larsen (Editor)

Computer Aided Verification

by Constantin Enea (Editor), Akash Lal (Editor)

Verification, Model Checking, and Abstract Interpretation

by Deepak D'Souza (Editor), Akash Lal (Editor), Kim Guldstrand Larsen (Editor)